$\forall$$i$:$\mathbb{N}$. $\mid$$i$$\mid$ = $i$ $\in$ $\mathbb{Z}$